Towards a formal definition of goal-oriented business process patterns

Organizations of today are becoming ever more focused on their business processes. This has resulted in an increasing interest in using best practices for business process reengineering. Two problems arise in connection to using best practices: how to find a best practice that suits particular purposes, and how to ensure that the process from the best practice has the same nature as the process under reengineering. The paper suggests using business process patterns, i.e. relatively high level business process models, for making near formal comparison of business processes. The paper analyzes widespread modeling techniques to find out which of them suits the task of building patterns for comparison. Based on this analysis, the state-flow modeling technique is chosen and first steps towards formal definition of business process patterns based on this technique are suggested. A pattern is defined based on the notions of state space, goal, as a surface in the state space, and valid movements towards the goal. A thinkable procedure of constructing patterns is demonstrated on two real-life examples. A hypothetical procedure for comparing process is suggested but it still needs to be verified in practice.